Ident. | Authors (with country if any) | Title |
---|
000296 |
David Déharbe [Brésil] ; Stephan Merz [France] | Software Component Design with the B Method — A Formalization in Isabelle/HOL |
000422 |
Yongxin Liao [Brésil] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France] ; Eduardo Rocha Loures [Brésil] | Semantic annotation for knowledge explicitation in a product lifecycle management context: a survey |
000436 |
Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France] | Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery |
000561 |
Rémi Badonnel [France] ; Xiao Jin [États-Unis] ; Ata Shingo [Japon] ; Filip Turck [Belgique] ; Groza Voicu [Canada] ; Carlos Raniery Paula Dos Santos [Brésil] | Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015). |
000759 |
Ana Karina Rodrigues Abadio [Brésil] ; Erika Seki Kioshima [Brésil] ; Vincent Leroux [France] ; Natalia Florêncio Martins [Brésil] ; Bernard Maigret [France] ; Maria Sueli Soares Felipe [Brésil] | Identification of New Antifungal Compounds Targeting Thioredoxin Reductase of Paracoccidioides Genus. |
000877 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Laurent Voisin [France] ; Yoann Guyot [France] | Integrating SMT solvers in Rodin |
000985 |
Yongxin Liao [Brésil] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France] ; Eduardo Rocha Loures [Brésil] | Formal semantic annotations for models interoperability in a PLM environment |
000A09 |
Fernanda Brandao Da Silva [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil] | BoG: A New Approach for Graph Matching |
000B34 |
Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Rocha Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France] | A semantic annotation framework to assist the knowledge interoperability along a product life cycle |
000C38 |
Joost Batenburg ; David Coeurjolly [France] ; Bertrand Kerautret [France] ; Köthe Ullrich ; Jacques-Olivier Lachaud [France] ; Thomas Lewiner [Brésil] | Image Processing Online (IPOL) : Special issue on DGCI 2011 |
000F75 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Daniel Le Berre [France] ; Bertrand Mazure [France] | Computing prime implicant |
001022 |
Fernanda Brandao Da Silva [Brésil] ; Siome Goldenstein [Brésil] ; Salvatore Tabbone [France] ; Ricardo Da Silva Torres [Brésil] | Image classification based on bag of visual graphs |
001027 |
Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Rocha Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France] | Semantic enrichment of models to assist knowledge management in a PLM environment |
001068 |
Hugo De Almeida [France] ; Izabela Bastos [Brésil] ; Bergman Ribeiro [France] ; Bernard Maigret [France] ; Jaime Santana [Brésil] | New Binding Site Conformations of the Dengue Virus NS3 Protease Accessed by Molecular Dynamics Simulation |
001093 |
Ricardo Da Silva Torres [Brésil] ; Makoto Hasegawa [France] ; Salvatore Tabbone [France] ; Jurandy Almeida [Brésil] ; Jefersson A. Dos Santos [Brésil] ; Bruna Alberton [Brésil] ; Patricia C. Morellato [Brésil] | Shape-based Time Series Analysis for Remote Phenology Studies |
001112 |
Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine] | SyMT: finding symmetries in SMT formulas |
001494 |
Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France] | Semantic Enrichment of Models to Assist Knowledge Management in a PLM Environment |
001A76 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Yoann Guyot [France] ; Laurent Voisin [France] | SMT solvers for Rodin |
001B32 |
Mehdi Kaytoue [Brésil] ; Arlei Silva [Brésil] ; Loïc Cerf [Brésil] ; Wagner Meira [Brésil] ; Chedy Raïssi [France] | Watch me playing, I am a professional: a first study on video game live streaming |
001C26 |
Diego Aranha [Brésil] ; Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] | Optimal Eta pairing on supersingular genus-2 binary hyperelliptic curves |
001E32 |
Brandon Itzkovitz [Canada] ; Sarn Jiralerspong [Canada] ; Graeme Nimmo [Canada] ; Melissa Loscalzo [États-Unis] ; Dafne D. G. Horovitz [Brésil] ; Ann Snowden [États-Unis] ; Ann Moser [États-Unis] ; Steve Steinberg [États-Unis] ; Nancy Braverman [Canada] | Functional characterization of novel mutations in GNPAT and AGPS, causing rhizomelic chondrodysplasia punctata (RCDP) types 2 and 3 |
002049 |
Mehdi Kaytoue [Brésil] ; Sergei O. Kuznetsov [Russie] ; Juraj Macko [République tchèque] ; Wagner Meira [Brésil] ; Amedeo Napoli [France] | Mining Biclusters of Similar Values with Triadic Concept Analysis |
002050 |
Zainab Assaghir [France] ; Mehdi Kaytoue [Brésil] ; Wagner Meira [Brésil] ; Jean Villerd [France] | Extracting Decision Trees from Interval Pattern Concept Lattices |
002066 |
Olivier Beaumont [France] ; Laurent Bobelin [France] ; Henri Casanova [États-Unis] ; Pierre-Nicolas Clauss [France] ; Bruno Donassolo [Brésil] ; Lionel Eyraud-Dubois [France] ; Stéphane Genaud [France] ; Sascha Hunold [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Cristian Rosa [France] ; Lucas Schnorr [France] ; Mark Stillwell [France] ; Frédéric Suter [France] ; Christophe Thiery [France] ; Pedro Velho [France] ; Jean-Marc Vincent [France] ; Young Won [France] | Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems |
002196 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Bruno Woltzenlogel Paleo [France] | Quantifier Inference Rules for SMT proofs |
002203 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Stephan Merz [France] ; Bruno Woltzenlogel Paleo [France] | Exploiting Symmetry in SMT Problems |
002659 |
Adriano Fiorese [Portugal, Brésil] ; Paulo Sim Es [Portugal] ; Fernando Boavida [Portugal] | On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks |
002814 |
Christelle Bidouil [France] ; Eduardo Basilio De Oliveira [Brésil] ; Latifa Chebil [France] ; Elaine-Rose Maia [Brésil] ; Bernard Maigret [France] ; Evelyne Ronat-Heidt [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France] ; Catherine Humeau [France] | Combined docking and molecular dynamics simulations to enlighten the capacity of Pseudomonas cepacia and Candida antarctica lipases to catalyze quercetin acetylation |
002B77 |
Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | GridTPT: a distributed platform for Theorem Prover Testing |
003063 |
Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni] | Intersection Type Systems and Explicit Substitutions Calculi |
003462 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Anamaria Martins Moreira [Brésil] ; Stephan Merz [France] ; Anderson Santana De Oliveira | Automating model-based software engineering |
003781 |
Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | Combining Decision Procedures by (Model-)Equality Propagation |
003867 |
Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | veriT : An Open, Trustable and Efficient SMT-Solver |
003899 |
David Déharbe [Brésil] ; Silvio Ranise [Italie, France] | Satisfiability solving for software verification |
003B90 |
Eduardo B. De Oliveira [France] ; Catherine Humeau [France] ; Latifa Chebil [France] ; Elaine R. Maia [Brésil] ; François Dehez [France] ; Bernard Maigret [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France] | A molecular modelling study to rationalize the regioselectivity in acylation of flavonoid glycosides catalyzed by Candida antarctica lipase B |
003D41 |
Rodrigo De Toledo [Brésil] ; Bruno Lévy [France] | Visualization of Industrial Structures with Implicit GPU Primitives |
003E80 |
Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | Combining decision procedures by (model-)equality propagation |
004034 |
Rodrigo De Toledo [Brésil] ; Bruno Levy [France] ; Jean-Claude Paul [République populaire de Chine] | Reverse engineering for industrial-environment cad models |
004178 |
Rodrigo De Toledo [Brésil] ; Bin Wang [République populaire de Chine] ; Bruno Lévy [France] | Geometry Textures and Applications |
004B66 |
Cássio Henrique Mendonça [Brésil] | The System Verification Breakdown Method |
004E89 |
Francis Klay [France] ; Judson Santiago [Brésil] ; Laurent Vigneron [France] | Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder |
005018 |
David Déharbe [Brésil] ; Pascal Fontaine [France] | haRVey: combining reasoners |
005492 |
S. E. Vidotti [Brésil, France] ; A. C. Chinellato [Brésil, France] ; G. Hu [France] ; L. A. Pessan [Brésil] | Effects of low molar mass additives on the molecular mobility and transport properties of polysulfone |
005507 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision Procedures for the Formal Analysis of Software |
006241 |
Gleison Santos [Brésil] ; Karina Villela [Brésil] ; Mariano Montoni [Brésil] ; Ana Regina Rocha [Brésil] ; Guilherme H. Travassos [Brésil] ; Sávio Figueiredo [Brésil] ; Sômulo Mafra [Brésil] ; Adriano Albuquerque [Brésil] ; Benito Diaz Paret [Brésil] ; Márcio Amaral [Brésil] | Knowledge Management in a Software Development Environment to Support Software Processes Deployment |
006308 |
Luciano P. Reis [Brésil, France] ; Alberto B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France] | An Architecture for Collaborative Geomodeling |
006350 |
Hazel Everett [France] ; Celina M. H. De Figueiredo [Brésil] ; Sulamita Klein [Brésil] ; Bruce Reed [Canada] | The perfection and recognition of bull-reducible Berge graphs |
006A61 |
Hazel Everett [France] ; Celina M. H. De Figueiredo [Brésil] ; Sulamita Klein [Brésil] ; Bruce Reed [France] | Bull-Reducible Berge Graphs are Perfect |
006C48 |
David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
006C50 |
M. A. Peerbocus [France] ; C. Bauzer Medeiros [Brésil] ; G. Jomier [France] ; A. Voisard [Allemagne] | A System for Change Documentation Based on a Spatiotemporal Database |
006C96 |
Rosana Cassia De Souza Schneider [Brésil] ; Vanessa Zanon Baldissarelli [Brésil] ; Fabiane Trombetta [Brésil] ; Marcia Martinelli [Brésil] ; Elina Bastos Caramao [Brésil] | Optimization of gas chromatographic-mass spectrometric analysis for fatty acids in hydrogenated castor oil obtained by catalytic transfer hydrogenation |
007302 |
Bruno Lévy [France] ; F. Mouillac [France] ; D. Quilichini [France] ; J. Schmitz [Brésil] ; Jean Gaudart [France] ; F. Gouin [France] | Comparaison de l'application locale de corticoïdes et de lidocaïne dans la prévention des douleurs pharyngolaryngées post-intubation Topical methylprednisolone vs lidocaïne for the prevention of postoperative sore throat |
007464 |
Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] ; Anderson Santana [Brésil] | A Tool Support for Reusing ELAN Rule-Based Components |
007B42 |
Alceu De S. Jr Britto [Brésil] ; Robert Sabourin [Canada] ; Flavio Bortolozzi [Brésil] ; Ching Y. Suen [Canada] | The recognition of handwritten numeral strings using a two-stage HMM-based method |
007B59 |
Silvana Creste [Brésil] ; Augusto Neto Tulmann [Brésil] ; Sebastiao De Oliveira Silva [Brésil] ; Antonio Figueira [Brésil] | Genetic characterization of banana cultivars (Musa spp.) from Brazil using microsatellite markers |
008725 |
Carla A. Lima Reis [Brésil] ; Rodrigo Quites Reis [Brésil] ; Marcelo M. De Abreu [Brésil] ; Heribert Schlebbe [Allemagne] ; Daltro J. Nunes [Brésil] | Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment |
008776 |
Renata Vieira [Brésil] ; Susanne Salmon-Alt [France] ; Emmanuel Schang [France] | Multilingual Corpora Annotation for Processing Definite Descriptions |
008796 |
David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
008835 |
Rodrigo Quites Reis [Brésil] ; Carla Alessandra Lima Reis [Brésil] ; Heribert Schlebbe [Allemagne] ; Daltro José Nunes [Brésil] | Automatic Verification of Static Policies on Software Process Models |
008890 |
Maria Luiza Macedo Silva [Brésil] ; Marcelo Gerardin Poirot Land [Brésil] ; Simone Maradei [Brésil] ; Luize Otero [Brésil] ; Melissa Veith [Brésil] ; Gilena Brito [Brésil] ; Claudete Klumb [Brésil] ; Teresa Fernandez [Brésil] ; Maria Socorro Pombo-De-Oliveira [Brésil] | Translocation (11;11)(p13∼p15;q23) in a child with therapy-related acute myeloid leukemia following chemotherapy with DNA-topoisomerase II inhibitors for Langerhans cell histiocytosis |
009D26 |
J. Chassin De Kergommeaux [France] ; B. Stein [Brésil] ; P. E. Bernard [France] | Pajé, an interactive visualization tool for tuning multi-threaded parallel applications |
00C027 |
Alassane Cissé [France] ; Marcelo Soares Pimenta [France, Brésil] | Requirements engineering process as an emergent process |
00C655 |
Walcélio L. Melo [Brésil] ; Noureddine Belkhatir [France, Brésil] ; Jacky Estublier [France] | A software engineering environment driven by event-condition-action rules and its trigger mechanism |
00DA02 |
Paulo F. Da S. Martins [Brésil] ; C. C. Cerri [Brésil] ; B. Volkoff [Cameroun] ; F. Andreux [France] ; A. Chauvel [Brésil] | Consequences of clearing and tillage on the soil of a natural Amazonian ecosystem |
00ED60 |
Nancy M. Flowers [États-Unis] ; Daniel R. Gross [États-Unis] ; Madeline L. Ritter [États-Unis] ; Dennis W. Werner [Brésil] | Variation in Swidden practices in four central Brazilian Indian societies |
00ED79 |
P. A. S. Veloso [Brésil] | Methodical specification of abstract data types via rewriting systems |
00EF18 |
A. L. Furtado [Brésil] | Formal aspects of the relational model |